Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
711	PDF Document Add to Reading List Source URL: www.hist-analytic.com Language: English - Date: 2011-07-30 20:46:56 Propositional calculus Boolean algebra Semantics Non-classical logic Modal logic Interpretation Function Propositional formula Tautology Logic Mathematical logic Mathematics
712	T HE N ATU R E OF T H E PHYSIC AL WOR L D BY Add to Reading List Source URL: www.hist-analytic.com Language: English - Date: 2011-07-30 20:28:30 Philosophy of self Philosophy Science Modal logic Non-classical logic Philosophical logic
713	34301_Showpost12pp_22398_Showpost[removed]:56 Page 1 SHOW POST A Magazine for the Members, Competitors, Exhibitors, Traders and Supporters of the & Add to Reading List Source URL: www.gillshaftshow.co.uk Language: English - Date: 2013-05-29 05:23:23 Modal logic Non-classical logic Philosophical logic
714	Possession as Linear Knowledge Frank Pfenning Carnegie Mellon University Pittsburgh, Pennsylvania, U.S.A. [removed] Epistemic logic analyzes reasoning governing localized knowledge, and is thus fundamental to multiag Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-05-18 11:34:24 Non-classical logic Mathematics Artificial intelligence Logic programming Substructural logic Epistemic modal logic Epistemology Frank Pfenning Linear logic Logic Branches of philosophy Science
715	Computational Logic as a Dual Process Model of Thought Bob Kowalski Imperial College London 10 February[removed]Abstract In the dual process model of thinking, developed in Cognitive Psychology, Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-06-12 15:24:01 Reasoning Non-classical logic Programming paradigms Interdisciplinary fields Logic programming Abductive logic programming Knowledge representation and reasoning Robert Kowalski Computational intelligence Science Logic Knowledge
716	Possession as Linear Knowledge Frank Pfenning [with Deepak Garg, Henry DeYoung, and Michael Ashley-Rollman] Department of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-07-15 09:34:10 Mathematics Non-classical logic Artificial intelligence Epistemic modal logic Modal logic Epistemology Authorization Linear logic Axiom Logic Mathematical logic Branches of philosophy
717	Artificial Intelligence and Human Thinking Robert Kowalski Imperial College London United Kingdom [removed] Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2011-05-10 03:51:12 Mathematical logic Non-classical logic Reasoning Abductive logic programming Epistemology Reason Modal logic Robert Kowalski Intelligent agent Logic Logic programming Science
718	Williamson’s Many Necessary Existents∗ Theodore Sider Analysis[removed]): 50–58 This note is to show that a well-known point about David Lewis’s (1986) Add to Reading List Source URL: tedsider.org Language: English - Date: 2009-04-05 12:09:36 Non-classical logic Philosophical logic Metalogic Model theory First-order logic Modal logic Infinitary logic Entailment Cardinal number Logic Mathematical logic Predicate logic
719	Focus-preserving Embeddings of Substructural Logics in Intuitionistic Logic Jason Reed∗ University of Pennsylvania Philadelphia, Pennsylvania, USA Frank Pfenning Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-01-19 08:28:42 Proof theory Philosophical logic Deduction Propositional calculus Natural deduction Linear logic First-order logic Substructural logic Modal logic Logic Mathematical logic Non-classical logic
720	Partee, Barbara H[removed]Teaching formal semantics. In Teaching Linguistics: Reflections on Practice, ed. Koenraad Kuiper, [removed]London: Equinox Publishing. (Prepublication final draft before typesetting and proofreadin Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2011-05-31 12:14:20 Science Formal languages Grammar Meaning Non-classical logic Montague grammar Formal semantics Intensional logic Modal logic Semantics Logic Linguistics

UPDATE